eq\_id($a$; $b$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$eqof(id{-}deq)($a$,$b$)